9321. Stability of time dependent and spatially varying flows
پدیدآورنده : / Edited by D. L. Dwoyer and M. Y. Hussaini
کتابخانه: کتابخانه مرکزی پردیس 1 فنی دانشگاه تهران (طهران)
موضوع : Fluid dynamics - Congresses,Aerodynamics - Congresses
رده :
TA
357
.
S696
1987
9322. Stability of time dependent and spatially varying flows
پدیدآورنده : / Edited by D. L. Dwoyer and M. Y. Hussaini
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (طهران)
موضوع : Fluid dynamics - Congresses,Aerodynamics - Congresses
رده :
TA
357
.
S696
1987
9323. Stability of time dependent and spatially varying flows
پدیدآورنده : edited by D. L. Dwoyer and M. Y. Uussaini
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Fluid dynamics,Congresses ، Aerodynamics
رده :
TA
357
.
S696
1987
9324. Stabilization, Safety, and Security of Distributed Systems
پدیدآورنده : \ Andrzej Pelc , Alexander A. Schwarzmann (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Self-stabilization (Computer science) -- Congresses.,Electronic data processing -- Distributed processing -- Safety measures -- Congresses.,خودثباتی (کامپیوتر) -- کنگره ها ,داده‌پردازی -- پردازش توزبع شده -- پيش بينيهاي ايمني -- کنگره ها
رده :
QA
76
.
9
.
S54
2015
E-Book
,
9325. Stabilization, safety, and security of distributed systems
پدیدآورنده : Rachid Guerraoui ; Franck Petit (ed.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2009
9326. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Taisuke Izumi, Petr Kuznetsov (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.
رده :
QA76
.
9
.
S54
9327. Stabilization, safety, and security of distributed systems :
پدیدآورنده : Xavier Défago, Franck Petit, Vincent Villainches
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2011
9328. Stabilization, safety, and security of distributed systems
پدیدآورنده : Andréa W. Richa, Christian Scheideler (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Reliability, Congresses,Computer networks-- Security measures, Congresses,Electronic data processing-- Distributed processing, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2012eb
9329. Stabilization, safety, and security of distributed systems : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings
پدیدآورنده : Borzoo Bonakdarpour, Franck Petit )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Self-stabilization )Computer science(,Safety measures -- Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer security
رده :
QA
76
.
L28
Vol
.
10083
9330. Standards in information technology and industrial control
پدیدآورنده : edited by Nicolas M. [i.e. E.]& Malagardis, Theodore J. Williams
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Process control- Data processing- Standards- Congresses
رده :
TS
،
156
.
8
،.
S75
،
1988
9331. State of the art in computational morphology
پدیدآورنده : \ Cerstin Mahlow, Michael Piotrowski (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computational linguistics, Congresses.,German language-- Morphology, Congresses.,Morphologie Linguistik-- Linguistische Datenverarbeitung, Kongress-- Zürich 2009,زبان‌شناسی کامپیوتری -- کنگره‌ها ,زبان آلمانی -- صرف --کنگره ها
رده :
P
98
.
M32S7
2009
E-Book
,
9332. Static Analysis
پدیدآورنده : \ Sandrine Blazy , Thomas Jensen (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامه‌نویسی -- کنگره‌ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌نویسی
رده :
QA
76
.
6
.
S7
2015
E-Book
,
9333. Static analysis :
پدیدآورنده : Antoine Miné, David Schmidt (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
6
.
I5733
2012eb
9334. Static analysis
پدیدآورنده : Francesco Logozzo, Manuel Fähndrich (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
I58
2013
9335. Static analysis
پدیدآورنده : Jens Palsberg, Zhendong Su (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
.
I5733
2009
9336. Static analysis :
پدیدآورنده : Eran Yahav (edition)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
9337. Static analysis : First International Static Analysis Symposium, SAS'94 Namur, Belgium, September 28-30, 1994 : proceedings
پدیدآورنده : Baudouin Le Charlier )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
864
9338. Static analysis : Second International Symposium, SAS'95 Glasgow, UK, September 25-27, 1995 : proceedings
پدیدآورنده : Alan Mycroft )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
983
9339. Static analysis: Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996 : proceedings
پدیدآورنده : Radhia, Cousot, David A. Schmidt )Eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
1145
9340. Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings
پدیدآورنده : Chris Hankin, Igor Siveroni )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
3672
